“Choosing to Stay”

To stay or not to stay? That is the question.

Covert Channels | Here to Stay? Covert Channels | Here to Stay?

We discuss the di culties of satisfying high-assurance system requirements without sacri cing system capabilities. To alleviate this problem, we show how trade-o s can be made to reduce the threat of covert channels. We also clarify certain concepts in the theory of covert channels. Traditionally, a covert channel's vulnerability was measured by the capacity. We show why a capacity analysis alo...

Choosing what to protect.

We study a strategic model in which a defender must allocate defensive resources to a collection of locations, and an attacker must choose a location to attack. The defender does not know the attacker's preferences, while the attacker observes the defender's resource allocation. The defender's problem gives rise to negative externalities, in the sense that increasing the resources allocated to ...

Choosing What to Protect

We study a strategic model in which a defender must allocate defensive resources to a collection of locations, and an attacker must choose a location to attack. The defender does not know the attacker's preferences, while the attacker observes the defender's resource allocation. The defender's problem gives rise to negative externalities, in the sense that increasing the resources allocated to ...

Choosing to save

Various barriers for the uptake of energy-efficiency measures in the domestic sector have been identified. Projects try to quantify the effect of individual barriers like transaction costs, information lack, access to technologies or convenience. We propose to use the ‘consumer choice chain’ as a wider framework to understand energy-efficiency choices by domestic consumers. This allows comparis...